1. Computability theory: An introduction to recursion theory
پدیدآورنده : / Enderton H.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Elements of set theory
پدیدآورنده : / H.B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set Theory,Aggregates
رده :
QA248
.
E5
1977
3. Mathematical logic; an introduction to model theory
پدیدآورنده : / A. H. Lightstone edited by H. B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical,Model theory
رده :
511
.
3
L724
